<html>
<body>
Replaces an octal escape sequence in a java file with an unicode escape sequence.
</body>
</html>